../../lib/random_oracle/intf.ml